|
|
1.
带抑制弧Petri网的保性变换
莫礼平 乐晓波 周恺卿 张兆海
计算机应用
2012, 32 (11):
3071-3074.
DOI: 10.3724/SP.J.1087.2012.03071
Petri 网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上，证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。
参考文献 |
相关文章 |
多维度评价
|
|
